The Glue-Nail deductive database system: Design, implementation, and evaluation

The Glue - Nail Deductive Database System

We describe the design and implementation of the Glue-Nail deductive database system. Nail is a purely declarative query language; Glue is a procedural language used for non-query activities. The two languages combined are suucient to write a complete application. Nail and Glue code are both compiled into the target language IGlue. The Nail compiler uses variants of the magic sets algorithm and...

Design and Implementation of the Relationlog Deductive Database System

We describe the design and implementation of Relationlog, a persistent deductive database system. Unlike other related systems such as Aditi, CORAL, LDL, LOLA and Nail-Glue, Relationlog supports effective storage, efficient access and inference of large amounts of data with complex structures and provides declarative query language that can define recursive views involving complex data and also...

Design and Implementation of the OLOG Deductive Object-Oriented Database Management System

Towards the Design and Implementation of a Multilevel Secure Deductive Database Management System

In this paper we describe a preliminary design and implementation of a multilevel secure deductive database management system (MLSIDEDBMS). In particular, logic as a dara model for multilevel databases, reasoning across security levels, architectural issues for an MLSIDEDBMS, and a prototype implementation are discussed.

Design and implementation of ROCK & ROLL: a deductive object-oriented database system

This paper presents an approach to the development of a deductive object-oriented database system, describing the key design decisions and their consequences for implementation. The approach is novel, in that it integrates an object-oriented database system manipulated using an imperative programming language (ROCK) with a logic language for expressing queries and methods (ROLL). The integratio...